Parallelising the finite state projection method
نویسندگان
چکیده
منابع مشابه
buckling of viscoelastic composite plates using the finite strip method
در سال های اخیر، تقاضای استفاده از تئوری خطی ویسکوالاستیسیته بیشتر شده است. با افزایش استفاده از کامپوزیت های پیشرفته در صنایع هوایی و همچنین استفاده روزافزون از مواد پلیمری، اهمیت روش های دقیق طراحی و تحلیل چنین ساختارهایی بیشتر شده است. این مواد جدید از خودشان رفتارهای مکانیکی ارائه می دهند که با تئوری های الاستیسیته و ویسکوزیته، نمی توان آن ها را توصیف کرد. این مواد، خواص ویسکوالاستیک دارند....
Finite-State Temporal Projection
Finite-state methods are applied to determine the consequences of events, represented as strings of sets of fluents. Developed to flesh out events used in natural language semantics, the approach supports reasoning about action in AI, including the frame problem and inertia. Representational and inferential aspects of the approach are explored, centering on conciseness of language, context upda...
متن کاملParallelising Symbolic State-Space Generators
Symbolic state-space generators are notoriously hard to parallelise, largely due to the irregular nature of the task. Parallel languages such as Cilk, tailored to irregular problems, have been shown to offer efficient scheduling and load balancing. This paper explores whether Cilk can be used to efficiently parallelise a symbolic state-space generator on a shared-memory architecture. We paralle...
متن کاملRestricted Element-Wise Projection for the Finite Element Method
In this work, we propose a projection operator based on restricted element-wise projections, which can be applied to a large set of finite element spaces. In contrast to most other projectors, such as the standard interpolation operator or the well-known Clément’s operator, our projection operator does not utilise the node functionals defining the basis functions of the finite element space. Mo...
متن کاملExperiences of Parallelising Finite-element Problems in a Functional Style
Experiences are described of parallelizing a functional finite-element program (written in Haskell) for the solution of computational fluid-dynamics problems. A transformation prototyping approach using a system developed at the University of York, which simulates idealised parallel machines on a conventional sequential workstation, is presented. In this paper we demonstrate: (a) the relative s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ANZIAM Journal
سال: 2011
ISSN: 1445-8810
DOI: 10.21914/anziamj.v52i0.3958